Continuation-passing style - PDFSEARCH.IO - Document Search Engine

Continuation-passing style
Results: 47

#	Item
31	CFA2: a Context-Free Approach to Control-Flow Analysis Dimitrios Vardoulakis and Olin Shivers Northeastern University {dimvar,shivers}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-02-16 14:40:14 Computer programming Continuations Control flow Computability theory Models of computation Continuation-passing style Eval Stack Lambda calculus Software engineering Computing Subroutines
32	Formalizing Semantics with an Automatic Program Verifier? Martin Clochard1,2,3 , Jean-Christophe Filliˆatre2,3 , Claude March´e3,2 , and Andrei Paskevich2,3 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-28 14:20:41 Theoretical computer science Formal languages Parsing Recursion Model theory Attribute grammar First-order logic Map Continuation-passing style Software engineering Computing Computer programming
33	Compiler optimizations based on call-graph flattening Add to Reading List Source URL: cafxx.strayorange.com Language: English - Date: 2011-08-22 07:52:53 Compiler construction Control flow Compiler optimizations Programming language implementation Static single assignment form Setjmp.h Continuation-passing style Constant folding Subroutine Software engineering Computing Computer programming
34	Specialization through Dynamic Staging Piotr Danilewski1,2 Marcel Köster1 Roland Leißa1 1,2,3 Richard Membarth Add to Reading List Source URL: graphics.cg.uni-saarland.de Language: English - Date: 2014-08-19 12:57:10 Functional programming Lambda calculus Subroutines Higher-order functions Continuation-passing style Continuations Anonymous function Parameter Monad Software engineering Declarative programming Computer programming
35	Axiomatizing Higher Level Delimited Continuation Yukiyoshi Kameyama Institute of Information Sciences and Electronics University of Tsukuba Tsukuba, Japan and Japan Science and Technology Agency Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:54 Computer programming Mathematics Delimited continuation Continuation-passing style Function Mathematical logic Sheaf Continuation Software engineering Continuations Control flow
36	Draft Version Denotational Semantics for SSA Conversion Sebastian Pop, Albert Cohen†, Pierre Jouvelot, Georges-Andr´e Silber ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-07-31 09:22:11 Computability theory Models of computation Formal methods Logic in computer science Recursion Static single assignment form Denotational semantics Continuation-passing style Primitive recursive function Software engineering Computing Computer programming
37	In and Out of SSA: A Denotational Specification Sebastian Pop, Pierre Jouvelot†, Georges-Andr´e Silber† Open Source Compiler Engineering, Advanced Micro Devices Inc., Austin, Texas, † ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-06-03 03:55:11 Logic in computer science Programming language semantics Models of computation Formal methods Procedural programming languages Static single assignment form Denotational semantics Continuation-passing style Statement Software engineering Computing Theoretical computer science
38	Under consideration for publication in J. Functional Programming 1 CPS Transformation of Flow Information Jens Palsberg Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2003-09-22 17:24:09 Functional programming Computer programming Dimensional analysis Symbol Flow network Computing Software engineering Continuation-passing style Continuations
39	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
40	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics